CONCUR '98 : concurrency theory (Nice, 8-11 September 1998)Sangiorgi, Davide; de Simone, Robert.Lecture notes in computer science. 1998, issn 0302-9743, isbn 3-540-64896-8, XI, 655 p, isbn 3-540-64896-8Conference Proceedings

A categorical axiomatics for bisimulationCATTANI, G. L; POWER, J; WINSKEL, G et al.Lecture notes in computer science. 1998, pp 581-596, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Abstract games for infinite state processesSTEVENS, P.Lecture notes in computer science. 1998, pp 147-162, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Controlled timed automataDEMICHELIS, F; ZIELONKA, W.Lecture notes in computer science. 1998, pp 455-469, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Modelling IP mobilityAMADIO, R. M; PRASAD, S.Lecture notes in computer science. 1998, pp 301-316, issn 0302-9743, isbn 3-540-64896-8Conference Paper

On discretization of delays in timed automata and digital circuitsASARIN, E; MALER, O; PNUELI, A et al.Lecture notes in computer science. 1998, pp 470-484, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Stochastic transition systemsDE ALFARO, L.Lecture notes in computer science. 1998, pp 423-438, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Axioms for real-time logicsRASKIN, J.-F; SCHOBBENS, P.-Y; HENZINGER, T. A et al.Lecture notes in computer science. 1998, pp 219-236, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Asynchronous cellular automata and asynchronous automata for pomsetsKUSKE, D.Lecture notes in computer science. 1998, pp 517-532, issn 0302-9743, isbn 3-540-64896-8Conference Paper

The regular viewpoint on PA-processesLUGIEZ, D; SCHNOEBELEN, P.Lecture notes in computer science. 1998, pp 50-66, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Unfolding and finite prefix for nets with read arcsVOGLER, W; SEMENOV, A; YAKOVLEV, A et al.Lecture notes in computer science. 1998, pp 501-516, issn 0302-9743, isbn 3-540-64896-8Conference Paper

It's about time : Real-time logics reviewedHENZINGER, T. A.Lecture notes in computer science. 1998, pp 439-454, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Algebraic techniques for timed systemsBENVENISTE, A; JARD, C; GAUBERT, S et al.Lecture notes in computer science. 1998, pp 373-388, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Herbrand automata for hardware verificationDAMM, W; PNUELI, A; RUAH, S et al.Lecture notes in computer science. 1998, pp 67-83, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Probabilistic resource failure in real-time process algebraPHILIPPOU, A; CLEAVELAND, R; INSUP LEE et al.Lecture notes in computer science. 1998, pp 389-404, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Simulation is decidable for one-counter netsABDULLA, P. A; CERANS, K.Lecture notes in computer science. 1998, pp 253-268, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Synthesis from knowledge-based specificationsVAN DER MEYDEN, R; VARDI, M. Y.Lecture notes in computer science. 1998, pp 34-49, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Synthesis of ENI-systems using minimal regionsPIETKIEWICZ-KOUTNY, M.Lecture notes in computer science. 1998, pp 565-580, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Towards performance evaluation with general distributions in process algebrasBRAVETTI, M; BERNARDO, M; GORRIERI, R et al.Lecture notes in computer science. 1998, pp 405-422, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Unfold/fold transformations of CCP programsETALLE, S; GABBRIELLI, M; MEO, M. C et al.Lecture notes in computer science. 1998, pp 348-363, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Deriving unbounded Petri nets from formal languagesDARONDEAU, P.Lecture notes in computer science. 1998, pp 533-548, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Alternating refinement relationsALUR, R; HENZINGER, T. A; KUPFERMAN, O et al.Lecture notes in computer science. 1998, pp 163-178, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Control flow analysis for the π-calculusBODEI, C; DEGANO, P; NIELSON, F et al.Lecture notes in computer science. 1998, pp 84-98, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Controllers for discrete event systems via morphismsMADHUSUDAN, P; THIAGARAJAN, P. S.Lecture notes in computer science. 1998, pp 18-33, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Detecting deadlocks in concurrent systemsFAJSTRUP, L; GOUBAULT, E; RAUSSEN, M et al.Lecture notes in computer science. 1998, pp 332-347, issn 0302-9743, isbn 3-540-64896-8Conference Paper